Intelligent traffic monitoring and guidance system for smart city
Publisher:
IEEE
Publication Year:
|
|
Level:
|
International
|
Type:
|
Conference
|
|
Publication Details..
|
|
|
Modelling of Graph-based Smart Parking System using Internet of Things
Publisher:
IEEE
Publication Year:
2018
|
|
Level:
|
International
|
Type:
|
Conference
|
|
Publication Details..
|
|
|
Deterministic Formal Modeling of Smart Lightening System using Internet of Things
Publisher:
IEEE
Publication Year:
2018
|
|
Level:
|
International
|
Type:
|
Conference
|
|
Publication Details..
|
|
|
Automated UML-based Formal Model of E-Health System
Publisher:
IEEE
Publication Year:
2019
|
|
Level:
|
International
|
Type:
|
Conference
|
|
Publication Details..
|
|
|
Formal Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain
Publisher:
IEEE
Publication Year:
2024
|
|
Level:
|
International
|
Type:
|
Conference
|
|
Publication Details..
|
|
|
Formal Modeling and Verification of Validator Voluntarily Exit in Ethereum 2.0 Beacon Chain
Publisher:
IEEE
Publication Year:
2023
|
|
Level:
|
International
|
Type:
|
Conference
|
|
Publication Details..
|
|
|
Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol
Publisher:
IEEE
Publication Year:
2022
|
|
Level:
|
International
|
Type:
|
Journal
|
|
Publication Details..
|
|
|
Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol
Publisher:
Elsevier
Publication Year:
2022
|
|
Level:
|
International
|
Type:
|
Journal
|
|
Publication Details..
|
|
|
Formal verification of fraud-resilience in a crowdsourcing consensus protocol
Publisher:
Elsevier
Publication Year:
2023
|
|
Level:
|
International
|
Type:
|
Journal
|
|
Publication Details..
|
|
|
Multi-Level Deep Generative Adversarial Networks for Brain Tumor Classification on Magnetic Resonance Images
Publisher:
Tech Science
Publication Year:
|
|
Level:
|
International
|
Type:
|
Journal
|
|
Publication Details..
|
|
|
Recycling in Smart Cities Using Multilayer Convolutional Neural Network and Perceptron
Publisher:
MDPI
Publication Year:
2021
|
|
Level:
|
International
|
Type:
|
Journal
|
|
Publication Details..
|
|
|
Enhanced Adaptive Brain-Computer Interface Approach for Intelligent Assistance to Disabled Peoples
Publisher:
Computer Systems Science & Engineering
Publication Year:
2023
|
|
Level:
|
International
|
Type:
|
Journal
|
|
Publication Details..
|
|
|
A Novel Authentication and Communication Protocol for Urban Traffic Monitoring in VANETs Based on Cluster Management
Publisher:
Systems (MDPI)
Publication Year:
2023
|
|
Level:
|
International
|
Type:
|
Journal
|
|
Publication Details..
|
|
|
BPMN process model checking using traceability
Publisher:
IEEE
Publication Year:
2016
|
|
Level:
|
International
|
Type:
|
Conference
|
|
Publication Details..
|
|
|
Boosted Prediction of Antihypertensive Peptides using Deep Learning
Publisher:
Mdpi
Publication Year:
2021
|
|
Level:
|
International
|
Type:
|
Journal
|
|
Publication Details..
|
|
|